Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 3.Ident. | Authors (with country if any) | Title |
---|---|---|
00DD84 | P. Inverardi [Italie] ; M. Nesi [Italie] | A rewriting strategy to verify observational congruence |
00DE07 | R. De Nicola [Italie] ; P. Inverardi [Italie] ; M. Nesi [Italie] | Using the axiomatic presentation of behavioural equivalences for manipulating CCS specifications |
00E632 | A. Fantechi [Italie] ; S. Gnesi [Italie] ; P. Inverardi [Italie] ; U. Montanari [Italie] | An execution environment for the formal definition of Ada |
This area was generated with Dilib version V0.6.33. |